『圏論的集合論 集合圏とトポス』

https://gyazo.com/1367d931bb7bc547db9941df0647b001

2021/3/19

いまさら線型代数といわれても

圏論の方へ

圏の定義

単射・全射・同型射

選択公理

終対象、要素、部分

積

解

“Ｘ×１＝Ｘ”

引き戻し、そしてすべての有限極限〔ほか〕